From aff537585eb044304947b5b0d34041468b63ae3d Mon Sep 17 00:00:00 2001
From: Brion Vibber <brion@users.mediawiki.org>
Date: Thu, 10 Jul 2003 04:28:01 +0000
Subject: [PATCH] Temporary hack for Mozilla bug; revert to quirks mode
 handling of <hr>

---
 stylesheets/wikibits.js | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/stylesheets/wikibits.js b/stylesheets/wikibits.js
index 471153ab59..d57d5b0aff 100644
--- a/stylesheets/wikibits.js
+++ b/stylesheets/wikibits.js
@@ -70,3 +70,27 @@ function toggleToc() {
 	}
 }
 
+
+/* Temporary hack for Mozilla bug; revert to quirks mode handling of <hr> */
+if(navigator.userAgent &&
+   navigator.userAgent.indexOf('Gecko') != -1 &&
+   navigator.userAgent.indexOf('KHTML') == -1) {
+	document.writeln(
+	'<style type="text/css">\n' +
+	'hr {\n' +
+	'  display: inline;\n' +
+	'  -moz-box-sizing: border-box;\n' +
+	'  margin: 0 0.1% 0 0.1%;\n' +
+	'  font-size: -moz-initial !important;\n' +
+	'}\n' +
+	'hr:before {\n' +
+	'  white-space: pre;\n' +
+	'  content: "\\A";\n' +
+	'}\n' +
+	'hr:after {\n' +
+	'  white-space: pre;\n' +
+	'  content: "\\A";\n' +
+	'}\n' +
+	'</style>');
+}
+
-- 
2.20.1